Institute of Mathematics - PDFSEARCH.IO - Document Search Engine

Institute of Mathematics
Results: 3022

#	Item
471	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
472	Words and Waring type problems Aner Shalev, Einstein Institute of Mathematics at the Hebrew University of Jerusalem A classical theorem of Lagrange says that every natural number is a sum of 4 squares. Waring conjectured Add to Reading List Source URL: www.stmath.hr - Date: 2016-03-08 04:34:51
473	May 21, Spring 2008 Final Exam Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2009-05-07 21:17:22 Mathematics Graph theory Computational complexity theory Edsger W. Dijkstra B-tree Shortest path problem Big O notation Heap
474	TeamUFAL: WSD+EL as Document Retrieval∗ Petr Fanta, Roman Sudarikov, Ondˇrej Bojar Charles University in Prague Faculty of Mathematics and Physics Institute of Formal and Applied Linguistics Add to Reading List Source URL: alt.qcri.org Language: English - Date: 2015-05-06 14:57:33
475	Integer factoring and modular square roots Emil Jeˇr´abek∗ Institute of Mathematics of the Academy of Sciences ˇ a 25, Praha 1, Czech Republic, email: Zitn´ Add to Reading List Source URL: users.math.cas.cz Language: English - Date: 2015-07-28 11:27:30
476	We Really Don’t Know How to Compute! Gerald Jay Sussman Massachusetts Institute of Technology CSAIL and EECS Add to Reading List Source URL: mcdonnell.mit.edu Language: English - Date: 2015-06-17 01:07:25 Mathematical analysis Mathematics Analysis Analytic functions Derivative Differential calculus Rates Trigonometric functions Differentiation rules Function of a real variable
477	October 17, Fall 2007 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2009-05-07 21:09:16 Search algorithms Information retrieval Information science Hashing Mathematics Mathematical optimization Operations research Arrays Hash table Hash function Universal hashing Dynamic programming
478	Superfunctions and sqrt of Factorial D. Kouznetsov1a, H. Trappmann2b 1 Institute for Laser Science, University of Electro-CommunicationsChofugaoka, Chofushi, Tokyo, , Japan Add to Reading List Source URL: eretrandre.org Language: English Mathematical analysis Mathematics Meromorphic functions Analytic functions Special functions Inverse functions Complex analysis Superfunction Factorial Gamma function Exponential function Branch point
479	How Did Dread Pirate Roberts Acquire and Protect His Bitcoin Wealth? Dorit Ron and Adi Shamir Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel {dorit.ron,adi.shamir}@weizm Add to Reading List Source URL: fc14.ifca.ai Language: English - Date: 2014-02-18 12:19:53 Bitcoin Cryptocurrencies Dark web Illegal drug trade Underground culture Silk Road Satoshi Nakamoto Operation Onymous BTCS Ross Ulbricht Blockchain Draft:Basics with Bitcoin
480	December 15, Fall 2008 Final Examination Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2009-05-07 21:09:13 Graph theory Mathematics Computational complexity theory Network theory Spanning tree NP-complete problems Edsger W. Dijkstra Shortest path problem Longest path problem Minimum spanning tree Reverse-delete algorithm

UPDATE